Merge pull request #8302 from dibdot/travelmate
authorDirk Brenken <[email protected]>
Wed, 27 Feb 2019 14:28:22 +0000 (15:28 +0100)
committerGitHub <[email protected]>
Wed, 27 Feb 2019 14:28:22 +0000 (15:28 +0100)
travelmate: release 1.4.0


Trivial merge